$\forall$$A$:Realizer. R{-}Feasible($A$) $\Rightarrow$ Feasible([[$A$]])